Home Up Previous Next Random
Name a terminal object in the category Cat
1 is terminal because a functor from any other category is forced to map all objects to 1 and all morphisms to its identity morphism.